Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1
Abstract Recursion and Intrinsic Complexity

Abstract Recursion and Intrinsic Complexity

Рік:
2019
Мова:
english
Файл:
PDF, 1010 KB
0 / 0
english, 2019
3
Proofs and Computations

Proofs and Computations

Рік:
2012
Мова:
english
Файл:
PDF, 2.80 MB
0 / 0
english, 2012
4
Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Рік:
2010
Мова:
english
Файл:
PDF, 2.58 MB
0 / 0
english, 2010
5
A Course in Model Theory

A Course in Model Theory

Рік:
2012
Мова:
english
Файл:
PDF, 1.13 MB
5.0 / 0
english, 2012
6
Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Рік:
2010
Мова:
english
Файл:
PDF, 2.32 MB
0 / 0
english, 2010